$\forall$$S$:RealizerScheme\{i:l\}, $P$:(ES\{i\}$\rightarrow\mathbb{P}$\{i\}). scheme{-}realizes\{i:l\}($S$; ${\it es}$.$P$(${\it es}$)) $\in$ $\mathbb{P}$\{i''\}